منابع مشابه
Localities and Failures
We present a simple extension of the-calculus with located actions and channels and with location names as rst-class data, which models the notion of locality and failure present in the higher-order, distributed programming language Facile. The interaction between localities and failures distinguishes our approach from previous ones where the notion of locality is considered in isolation. We ar...
متن کاملMobile UML Statecharts with Localities
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statecharts. Each object resides in a given place, and a collection of such places forms a network. Objects are aware of the localities of other objects, i.e. the logical names of the places where the latter reside, but not of...
متن کاملOn Localities of Knowledge Inconsistency
Inconsistency is commonplace in the real world in long-term memory and knowledge based systems. Managing inconsistency is considered a hallmark of the plasticity of human intelligence. Belief revision is an important mental process that underpins human intelligence. To facilitate belief revision, it is necessary to know the localities and contexts of inconsistency and how different types of inc...
متن کاملOn Localities of Knowledge Inconsistency
Inconsistency is commonplace in the real world in long-term memory and knowledge based systems. Managing inconsistency is considered a hallmark of the plasticity of human intelligence. Belief revision is an important mental process that underpins human intelligence. To facilitate belief revision, it is necessary to know the localities and contexts of inconsistency and how different types of inc...
متن کاملOn Localities of Knowledge Inconsistency
Inconsistency is commonplace in the real world in long-term memory and knowledge based systems. Managing inconsistency is considered a hallmark of the plasticity of human intelligence. Belief revision is an important mental process that underpins human intelligence. To facilitate belief revision, it is necessary to know the localities and contexts of inconsistency and how different types of inc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Auk
سال: 1917
ISSN: 0004-8038,1938-4254
DOI: 10.2307/4072313